Alan Day’s Early Work: Congruence Identities
نویسندگان
چکیده
The death of R. Alan Day on November 26, 1990 was a great loss to the community of lattice theorists and universal algebraists. Alan was a hard working, hard playing man whose enthusiasm for mathematics and life will be greatly missed by all of us. This paper concentrates on congruence identities, i.e., lattice equations satisfied by the congruence lattices of all the algebras in a variety. Although this area represents only a small part of Alan’s mathematical work, this is a subject in which Alan was greatly interested and to which he made profound contributions. This paper surveys the struggles Alan and others of us made to understand this area. It also gives some of the recent results, including some of Alan’s, and lists several open problems.
منابع مشابه
An Easy Test for Congruence Modularity
We describe an easy way to determine whether the realization of a set of idempotent identities guarantees congruence modularity or the satisfaction of a nontrivial congruence identity. Our results yield slight strengthenings of Day’s Theorem and Gumm’s Theorem, which each characterize congruence modularity.
متن کاملAll congruence lattice identities implying modularity have
For an arbitrary lattice identity implying modularity (or at least congruence modularity) a Mal’tsev condition is given such that the identity holds in congruence lattices of algebras of a variety if and only if the variety satisfies the corresponding Mal’tsev condition. This research was partially supported by the NFSR of Hungary (OTKA), grant no. T034137 and T026243, and also by the Hungarian...
متن کاملNOTES ON CONGRUENCE n-PERMUTABILITY AND SEMIDISTRIBUTIVITY
In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ′, of a set of equations Σ and show, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutable for some n, and for congruence semidistributivity. In a recent paper [1] T. Dent, K. Kearne...
متن کاملInflation of Finite Lattices along All-or-nothing Sets a Dissertation Submitted to the Graduate Division of the University of Hawai‘i at Mānoa in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi List of Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملInflation of Finite Lattices along All-or-nothing Sets Tristan Holmes
We introduce a new generalization of Alan Day’s doubling construction. For ordered sets L and K and a subset E ⊆ ≤L we define the ordered set L ?E K arising from inflation of L along E by K. Under the restriction that L and K are finite lattices, we find those subsets E ⊆ ≤L such that the ordered set L ?E K is a lattice. Finite lattices that can be constructed in this way are classified in term...
متن کامل